existential operator

Definitions of existential operator
  1. noun
    a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true
    synonyms: existential quantifier
    see moresee less
    type of:
    logical quantifier, quantifier
    (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition
Cite this entry
Style:
MLA
  • MLA
  • APA
  • Chicago

Copy citation
DISCLAIMER: These example sentences appear in various news sources and books to reflect the usage of the word ‘existential operator'. Views expressed in the examples do not represent the opinion of Vocabulary.com or its editors. Send us feedback
Word Family